From: Ian Jackson <ian.jackson@eu.citrix.com>
Date: Thu, 21 Nov 2013 18:59:22 +0000 (+0000)
Subject: .gitignore: Ignore tools/ocaml/libs/xentoollog/ build outputs
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~5896
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=b18e2d96e785e7088f3b137e800f987bbe8c7657;p=xen.git

.gitignore: Ignore tools/ocaml/libs/xentoollog/ build outputs

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
---

diff --git a/.gitignore b/.gitignore
index 3253675e24..f88e43151b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -383,6 +383,9 @@ tools/ocaml/libs/xl/_libxl_types.ml.in
 tools/ocaml/libs/xl/_libxl_types.mli.in
 tools/ocaml/libs/xl/xenlight.ml
 tools/ocaml/libs/xl/xenlight.mli
+tools/ocaml/libs/xentoollog/_xtl_levels.*
+tools/ocaml/libs/xentoollog/xentoollog.ml
+tools/ocaml/libs/xentoollog/xentoollog.mli
 tools/ocaml/xenstored/oxenstored
 
 tools/debugger/kdd/kdd